2

Provability Logic || On the Proof of Solovay's Theorem

Year:
1991
Language:
english
File:
PDF, 1.67 MB
english, 1991
5

A Simplification of a Completeness Proof of Guaspari and Solovay

Year:
1987
Language:
english
File:
PDF, 892 KB
english, 1987
6

Provability Logic || Explicit Fixed Points in Interpretability Logic

Year:
1991
Language:
english
File:
PDF, 1.00 MB
english, 1991
7

Generic Generalized Rosser Fixed Points

Year:
1987
Language:
english
File:
PDF, 1.40 MB
english, 1987
8

Subintuitionistic logics and the implications they prove

Year:
2018
Language:
english
File:
PDF, 1.50 MB
english, 2018
13

Provable Fixed Points

Year:
1988
Language:
english
File:
PDF, 1.26 MB
english, 1988
14

Much Shorter Proofs

Year:
1989
Language:
english
File:
PDF, 879 KB
english, 1989
15

Preface

Year:
1993
Language:
english
File:
PDF, 42 KB
english, 1993
16

Interpretability in

Year:
2009
Language:
english
File:
PDF, 641 KB
english, 2009
18

Intermediate Logics and the de Jongh property

Year:
2011
Language:
english
File:
PDF, 273 KB
english, 2011
19

Extendible Formulas in Two Variables in Intuitionistic Logic

Year:
2012
Language:
english
File:
PDF, 287 KB
english, 2012
20

The decidability of dependency in intuitionistic propositional logic

Year:
1995
Language:
english
File:
PDF, 505 KB
english, 1995
26

Provability Logic || Rosser Orderings and Free Variables

Year:
1991
Language:
english
File:
PDF, 1004 KB
english, 1991
28

Weak subintuitionistic logics

Year:
2016
Language:
english
File:
PDF, 161 KB
english, 2016
29

Stable Formulas in Intuitionistic Logic

Year:
2018
Language:
english
File:
PDF, 404 KB
english, 2018